Some considerations on amoeba forcing notions
نویسنده
چکیده
In this paper we analyse some notions of amoeba for tree forcings. In particular we introduce an amoeba-Silver and prove that it satisfies quasi pure decision but not pure decision. Further we define an amoeba-Sacks and prove that it satisfies the Laver property. We also show some application to regularity properties. We finally present a generalized version of amoeba and discuss some interesting associated questions. Acknowledgement For the first part of the present paper, the author wishes to thank Sy Friedman and the FWF for the indispensable support through the research project #P22430-N13.
منابع مشابه
On Nicely Definable Forcing Notions
We prove that if Q is a nw-nep forcing then it cannot add a dominating real. We also show that amoeba forcing cannot be P(X)/I if I is an א1-complete ideal. Furthermore, we generalize the results of [12].
متن کاملOn Nicely Definable Forcing Notions Sh711
We prove that if Q is a nw-nep forcing then it cannot add a dominating real. We also show that amoeba forcing cannot be P(X)/I if I is an א1-complete ideal. Furthermore, we generalize the results of [Sh 480]. I would like to thank Alice Leonhardt for the beautiful typing. This research was partially supported by the Israel Science Foundation founded by the Israel Academy of Sciences and Humanit...
متن کاملHow much sweetness is there in the universe?
We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topologically sweet forcing notions over Cohen reals are topologically sweet while the quotients over random reals do not have to be such. One of the main ingredients of the construction of the model for all projective sets of reals h...
متن کاملIdeals Determined by Some Souslin Forcing Notions
We describe a method of building “nice” σ–ideals from Souslin ccc forcing notions.
متن کاملProperness without Elementaricity
We present reasons for developing a theory of forcing notions which satisfy the properness demand for countable models which are not necessarily elementary sub-models of some (H(χ),∈). This leads to forcing notions which are “reasonably” definable. We present two specific properties materializing this intuition: nep (non-elementary properness) and snep (Souslin non-elementary properness) and al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Arch. Math. Log.
دوره 53 شماره
صفحات -
تاریخ انتشار 2014